Is the Ontological Proof for God’s Existence an Ontological Proof for God’s Existence?
نویسنده
چکیده
Two questions concerning Anselm of Canterbury’s theistic argument provided in Proslogion Ch. 2 are asked and answered: is the argument valid? under what conditions could it be sound? In order to answer the questions the argument is formalized as a first-order theory called AP2. The argument turns out to be valid, although it contains a hidden premise. The argument is also claimed not to be ontological one, but rather an a posteriori argument. One of the premises is found to be false, so the argument is claimed not to be sound and to fail to prove its conclusion.
منابع مشابه
Automating Gödel's Ontological Proof of God's Existence with Higher-order Automated Theorem Provers
Kurt Gödel’s ontological argument for God’s existence has been formalized and automated on a computer with higher-order automated theorem provers. From Gödel’s premises, the computer proved: necessarily, there exists God. On the other hand, the theorem provers have also confirmed prominent criticism on Gödel’s ontological argument, and they found some new results about it. The background theory...
متن کامل21 7 + ( , 03266
In this paper I present a novel objection to ontological arguments. The argument concerns ontological arguments in general and has the general form of a reductio ad absurdum. Roughly, it rests on the fact that if a sound ontological argument were available, it would contradict the very nature of God. For God aims at maximising the development of human good qualities (including thus faith) and i...
متن کاملThe Ontological Modal Collapse as a Collapse of the Square of Opposition
The modal collapse that afflicts Gödel’s modal ontological argument for God’s existence is discussed from the perspective of the modal square of opposition. Mathematics Subject Classification (2000). Prim. 03B15; Sec. 68T15.
متن کاملThe Soul According to Rāmānuja
Rāmānuja was the founder of Visistādvaita Vedānta School, which is one of the three main schools of Vedānta. According to Rāmānuja, the soul (cit), Brahman, and matter (acit) constitute the three principal ontological realities. Rāmānuja provides some proofs for the existence of the soul, which are mostly based on self-consciousness. The relationship of the soul with the matter, on one hand, an...
متن کاملExperiments in Computational Metaphysics: Gödel’s Proof of God’s Existence
“Computer scientists prove the existence of God” --variants of this headline appeared in the international press in autumn 2013. Unfortunately, many media reports had only moderate success in communicating to the wider public what had actually been achieved and what not. This article outlines the main findings of the authors’ joint work in computational metaphysics. More precisely, the article ...
متن کامل